\documentclass{article}
\begin{document}
\[
\frac{{\exists (p,\exists (q,\forall (a,b)))}\quad{\forall (q,qR)}}{\exists (p,\exists (qR,\forall (a,b)))}{EE}
\]
\end{document}
